formal proof
un. 形式证法
[网络] 形式化的证明；形式证明；形式化证明
热门查询
- lastingly 持久地
- rainwater n. 雨水；软水 n. (Rainwater)人名；(英)雷恩沃特
- umbra n. [天] 本影，[天] 暗影；蚀时的地球
- sketchbook n. 小品集；写生簿；随笔集
- HEATHFIELD [人名] [英格兰人姓氏] 希思菲尔德住所名称，来源于古英语，含义是“石南，荒野+草原，旷野”(heathland,heather+pasture,open country); [地名] [南非共和国、牙买加、英国] 希思菲尔德
- CNAA abbr. （英）全国学术奖理事会（Council for National Academic Awards）
- ischemia n. [内科] 局部缺血
- symbolism n. 象征，象征主义；符号论；记号
- assorted v. 把…分等级；把…归为一类（assort的过去分词） adj. 组合的；各种各样的；混杂的
- Duthie [人名] [爱尔兰人、苏格兰人姓氏] 达西 Duffy的变体
- purport n. 意义，主旨；意图 vt. 声称；意图；意指；打算
- Russia n. 俄罗斯
- gondola n. 两头尖的平底船；狭长小船；无盖货车 n. (Gondola)人名；(意)贡多拉
- Ashcroft 阿什克罗夫特（人名）
- moralise vi. 教化；从道德上解释（等于moralize） vt. 讲道；说教（等于moralize）
- carcinogenicity n. 致癌性；致癌力
- mutual adj. 共同的；相互的，彼此的
- athletically adv. 运动地；活跃地；竞赛地；运动家作风地
- blockbuster n. 轰动；巨型炸弹；一鸣惊人者
- walk of life na. 职业；身分；阶级 [网络] 行业；阶层；社会阶层
考试词汇表
- eristalinus aeneus
- eristalinus laetus
- eristalinus lugens
- ermatitis venenata
- ernest rutherfords
- ernite (grossular)
- ernothrips lobatus
- ernst boris chains
- eroded tonsillitis
- erodibility factor
- erodium moschatums
- erodsion intensity
- erodsion of stream
- eropterus taiwanus
- erosion base level
- erosion of auricle
- erosion of streams
- erosion of thermal
- erosion papillaris
- erosion protection
